12354A-A11 http://identifiers.org/mgd/MGI:4887733 12354C-C9 KOMP-Regeneron-Project targeted mutation 1, Velocigene 12354B-A4 Hoxa11<tm1(KOMP)Vlcg> 12354C-D7 MGI:4887733